Active Classification: Theory and Application to Underwater Inspection Geoffrey A. Hollinger, Urbashi Mitra, and Gaurav S. Sukhatme Abstract We discuss the problem in which an autonomous vehicle must classify an object b

Source URL: robotics.usc.edu

DRAFT: To appear in Theory of Computing Systems NovemberDistributed Object Location in a Dynamic Network ∗

Source URL: oceanstore.cs.berkeley.edu

The German UMTS Design: Insights From Multi-Object Auction Theory Christian Ewerhart and Benny Moldovanu¤ Abstract

Source URL: www.econ2.uni-bonn.de

Math. Z. 239, 803–Digital Object Identifier (DOIs002090100347 A uniqueness theorem for stable homotopy theory Stefan Schwede1 , Brooke Shipley2 1

Source URL: www.math.uni-bonn.de

SUNlite Shedding some light on UFOlogy and UFOs Volume 7 Number 2

Source URL: www.astronomyufo.com

• Ufology
• Ufologists
• Paranormal
• Fringe theory
• Kevin D. Randle
• Roswell UFO incident
• Unidentified flying object
• UFO Files
• Robert Sheaffer
• UFO
• Billy Meier

An International Agenda for supervision research: where shall we start? OctoberCopenhagen Professor Sue Wheeler, University of Leicester

Source URL: supervision.psy.ku.dk

• Health
• Mental health
• Clinical psychology
• Psychology
• Psychotherapy
• Object relations theory
• Parallel process
• Psychoanalysis
• Supervision
• Therapeutic relationship
• Supervisor
• Coaching

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington

Source URL: homes.cs.washington.edu

• Software engineering
• Computing
• Computer programming
• Type theory
• Data types
• Object-oriented programming
• Concurrent programming languages
• Type system
• Scala
• Intent
• Type safety
• Java

Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009 Diss. ETH N0 18689

Source URL: se.inf.ethz.ch

• Logic
• Philosophy
• Abstraction
• Logic in computer science
• Proof theory
• Formal languages
• Syntax
• Formal methods
• Mathematical proof
• Mathematical logic
• Eiffel
• Formal proof

On the Revival of Dynamic Languages Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, St´ephane Ducasse, Markus G¨ alli, and Roel Wuyts Software Composition Group, University of Bern www.iam.unibe.ch/∼scg

Source URL: rmod.inria.fr

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Object-oriented programming
• Data types
• Type theory
• Programming paradigms
• Smalltalk
• Type system
• Objective-C
• R

aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems

Source URL: d3s.mff.cuni.cz

• Computing
• Software engineering
• Object-oriented programming
• Data types
• Type theory
• Cross-platform software
• Java virtual machine
• Aicas
• Software development process
• Polymorphism
• Subtyping
• Java